A Genetic Algorithm for Chromaticity Correction in Diffraction Limited Storage Rings

A multi-objective genetic algorithm is developed for optimizing nonlinearities in diffraction limited storage rings. This algorithm determines sextupole and octupole strengths for chromaticity correction that deliver optimized dynamic aperture and beam lifetime. The algorithm makes use of dominance constraints to breed desirable properties into the early generations. The momentum aperture is optimized indirectly by constraining the chromatic tune footprint and optimizing the off-energy dynamic aperture. The result is an effective and computationally efficient technique for correcting chromaticity in a storage ring while maintaining optimal dynamic aperture and beam lifetime. This framework was developed for the Swiss Light Source (SLS) upgrade project.Comment: 12 pages, 14 figure

Automated verification of shape, size and bag properties.

In recent years, separation logic has emerged as a contender for formal reasoning of heap-manipulating imperative programs. Recent works have focused on specialised provers that are mostly based on fixed sets of predicates. To improve expressivity, we have proposed a prover that can automatically handle user-defined predicates. These shape predicates allow programmers to describe a wide range of data structures with their associated size properties. In the current work, we shall enhance this prover by providing support for a new type of constraints, namely bag (multi-set) constraints. With this extension, we can capture the reachable nodes (or values) inside a heap predicate as a bag constraint. Consequently, we are able to prove properties about the actual values stored inside a data structure

Measurement and Compensation of Horizontal Crabbing at the Cornell Electron Storage Ring Test Accelerator

In storage rings, horizontal dispersion in the rf cavities introduces horizontal-longitudinal (xz) coupling, contributing to beam tilt in the xz plane. This coupling can be characterized by a "crabbing" dispersion term {\zeta}a that appears in the normal mode decomposition of the 1-turn transfer matrix. {\zeta}a is proportional to the rf cavity voltage and the horizontal dispersion in the cavity. We report experiments at the Cornell Electron Storage Ring Test Accelerator (CesrTA) where xz coupling was explored using three lattices with distinct crabbing properties. We characterize the xz coupling for each case by measuring the horizontal projection of the beam with a beam size monitor. The three lattice configurations correspond to a) 16 mrad xz tilt at the beam size monitor source point, b) compensation of the {\zeta}a introduced by one of two pairs of RF cavities with the second, and c) zero dispersion in RF cavities, eliminating {\zeta}a entirely. Additionally, intrabeam scattering (IBS) is evident in our measurements of beam size vs. rf voltage.Comment: 5 figures, 10 page

Intrabeam Scattering Studies at CesrTA

Intrabeam scattering (IBS) limits the emittance and single-bunch current that can be achieved in electron or positron storage ring colliders, damping rings, and light sources. Much theoretical work on IBS exists, and while the theories have been validated in hadron and ion machines, the presence of strong damping makes IBS in lepton machines a different phenomenon. We present the results of measurements at CesrTA of IBS dominated beams, and compare the data with theory. The beams we study have parameters typical of those specified for the next generation of wiggler dominated storage rings: low emittance, small bunch length, and few GeV energy. Our measurements are in good agreement with IBS theory, provided a tail-cut procedure is applied.Comment: 14 pages, 15 figure

Reading faces: differential lateral gaze bias in processing canine and human facial expressions in dogs and 4-year-old children

Sensitivity to the emotions of others provides clear biological advantages. However, in the case of heterospecific relationships, such as that existing between dogs and humans, there are additional challenges since some elements of the expression of emotions are species-specific. Given that faces provide important visual cues for communicating emotional state in both humans and dogs, and that processing of emotions is subject to brain lateralisation, we investigated lateral gaze bias in adult dogs when presented with pictures of expressive human and dog faces. Our analysis revealed clear differences in laterality of eye movements in dogs towards conspecific faces according to the emotional valence of the expressions. Differences were also found towards human faces, but to a lesser extent. For comparative purpose, a similar experiment was also run with 4-year-old children and it was observed that they showed differential processing of facial expressions compared to dogs, suggesting a species-dependent engagement of the right or left hemisphere in processing emotions

Ketamine-Induced Oscillations in the Motor Circuit of the Rat Basal Ganglia

Oscillatory activity can be widely recorded in the cortex and basal ganglia. This activity may play a role not only in the physiology of movement, perception and cognition, but also in the pathophysiology of psychiatric and neurological diseases like schizophrenia or Parkinson's disease. Ketamine administration has been shown to cause an increase in gamma activity in cortical and subcortical structures, and an increase in 150 Hz oscillations in the nucleus accumbens in healthy rats, together with hyperlocomotion